David Carnegie - PDFSEARCH.IO - Document Search Engine

David Carnegie
Results: 214

#	Item
131	North Head Sanctuary Foundation Incorporated Add to Reading List Source URL: www.northheadsanctuaryfoundation.org.au Language: English - Date: 2014-09-30 04:18:38 Chloridoideae Triodia Smallpox Comesperma Spinifex Quarantine David Carnegie Seed Commelinids Poales Bushfood
132	Copyright © 2005, ISTE (International Society for Technology in Education), [removed]U.S. & Canada) or[removed]Int’l), [removed], www.iste.org. All rights reserved. By David L. Johnson Computer Tut Add to Reading List Source URL: quantumsimulations.com Language: English - Date: 2007-04-13 16:42:23 Carnegie Learning Tutor Educational technology Multiple representations International Society for Technology in Education STAR Online tutoring Adaptive learning Education Educational psychology Cognitive tutor
133	Q: Exploit Hardening Made Easy Edward J. Schwartz, Thanassis Avgerinos, and David Brumley Carnegie Mellon University[removed] Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Address space layout randomization Data Execution Prevention Exploit Pointer JIT spraying Computer security Cyberwarfare Shellcode
134	FAWN A Fast Array of Wimpy Nodes David Andersen, Jason Franklin, Michael Kaminsky, Amar Phanishayee, Lawrence Tan, Vijay Vasudevan Carnegie Mellon University Add to Reading List Source URL: www.sigops.org Language: English* - Date: 2009-10-12 16:16:22 Scalability Computing Technology Information technology management 1E Dynamic random-access memory Central processing unit
135	Sven Koenig Computer Science Department, University of Southern California (USC) Henry Salvatori Computer Center (SAL) 312, 941 W 37th Street Los Angeles, CA[removed], USA Office: ([removed]Fax: ([removed] Add to Reading List Source URL: idm-lab.org Language: English - Date: 2015-03-31 18:15:52 Academia Sven Koenig Milind Tambe Carnegie Mellon University Human–robot interaction Sebastian Thrun Robotics Association for the Advancement of Artificial Intelligence David Waltz Artificial intelligence Year of birth missing Science
136	Spinifex and Sand by David Carnegie In[removed], the Hon. David Wynford Carnegie, born in 1871, youngest son of the Earl of Southesk, led one of the last great expeditions in the exploration Add to Reading List Source URL: www.wanowandthen.com Language: English - Date: 2012-12-26 23:15:39 Australian gold rushes David Carnegie Coolgardie Western Australia Arthur Wellesley Bayley States and territories of Australia Goldfields-Esperance Western Australia
137	FAWNSort: Energy-efficient Sorting of 10GB, 100GB, and 1TB Padmanabhan Pillai, Michael Kaminsky, Michael A. Kozuch, David G. Andersen Intel Labs, Carnegie Mellon University 1 Add to Reading List Source URL: sortbenchmark.org Language: English - Date: 2012-05-22 19:20:42 Solid-state drive Intel Nvidia Ion Hyper-threading Sandy Bridge Nehalem Multi-core processor Computer hardware Computing Electronics
138	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-03-17 03:36:49 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
139	Q: Exploit Hardening Made Easy Edward J. Schwartz, Thanassis Avgerinos and David Brumley Carnegie Mellon University, Pittsburgh, PA {edmcman, thanassis, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 C Standard Library Return-to-libc attack Address space layout randomization Buffer overflow Software engineering GADGET MOV Shellcode NX bit Computing Software bugs Computer architecture
140	Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-02-15 14:07:11 Theoretical computer science Automated theorem proving Concolic testing Symbolic execution KeY Parallel computing X86 Type system Algorithm Data types Formal methods Computing